Asynchronous Consensus with Bounded Memory

نویسندگان

  • Carole Delporte-Gallet
  • Hugues Fauconnier
چکیده

We present here a bounded memory consensus Obstruction-Free algorithm for the asynchronous shared memory model. More precisely for a set of n processes, this algorithm uses n + 1 multi-writer multi-reader (MWMR) registers, each of these registers being of size O(log(n)) bits. Then we get a O(n log(n))-bits size complexity consensus algorithm with single-writer multi-reader (SWMR) registers and a O(n log(n))-bits complexity consensus algorithm in the asynchronous message passing model with a majority of correct processes. As it is easy to ensure the Obstruction-Free assumption with randomization (or with leader election failure detector Ω) we obtain a bounded memory size randomized consensus algorithm and a bounded memory size consensus algorithm with failure detector.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Impossibility Results for Asynchronous PRAM

In the asynchronous PRAM model processes communicate by atomically read ing and writing shared memory locations This paper investigates the extent to which asynchronous PRAM permits long lived highly concurrent data struc tures An implementation of a concurrent object is non blocking if some op eration will always complete in a nite number of steps it is wait free if every operation will comple...

متن کامل

When Consensus Meets Self-stabilization

This paper presents a self-stabilizing failure detector, asynchronous consensus and replicated state-machine algorithm suite, the components of which can be started in an arbitrary state and converge to act as a virtual state-machine. Self-stabilizing algorithms can cope with transient faults. Transient faults can alter the system state to an arbitrary state and hence, cause a temporary violati...

متن کامل

Bounded Concurrent Time-Stamping

We introduce concurrent time-stamping, a paradigm that allows processes to temporally order concurrent events in an asynchronous shared-memory system. Concurrent time-stamp systems are powerful tools for concurrency control, serving as the basis for solutions to coordination problems such as mutual exclusion, `-exclusion, randomized consensus, and multiwriter multireader atomic registers. Unfor...

متن کامل

Using Failure Detectors to Solve Consensus in Asynchronous Shared-memory Systems 1 Background and Overview of Results

Chandra and Toueg proposed a new approach to overcome the impossibility of reaching consensus in asynchronous message-passing systems subject to crash failures 6]. They augment the asynchronous message-passing system with a (possibly unreliable) failure detector. Informally , a failure detector provides some information about the processes that have crashed during an execution of the system. In...

متن کامل

A separation of (n -1)-consensus and n-consensus in read-write shared-memory systems

A fundamental research theme in distributed computing is the comparison of systems in terms of their ability to solve basic problems such as consensus that cannot be solved in completely asynchronous systems. In particular, in a seminal work [?], Herlihy compares shared-memory systems in terms of the shared objects that they have: he proved that there are shared objects that are powerful enough...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016